Section: Dissemination

Animation

• Gérard Berry is a member of the Académie des sciences, of the Académie des technologies, and the Academia Europaea. He is member of the steering committee of the ANR.

• Ilaria Castellani is member of the editorial board of Technique et Science Informatiques. She was a member of the programme committee of EXPRESS'12.

• Tamara Rezk was a member of the programme committees of Bytecode, PLAS (co-chair with Sergio Maffeis), ARES, and LatinCrypt. She is is a member of the programme committee of JAIIO'13. She was a reviewer for CSF'12, Crypto'12, CCS'12, and the QIF journal.

• Manuel Serrano is the coordinator of the ANR DEFIS project PWD . He served on the program committees of the following conferences:

  • TFP'12, Symposium on Trends in Functional Programming.

  • COORDINATION'12, 7th International Federated Conferences on Distributed Computing Techniques.